1

General default logic

Year:
2009
Language:
english
File:
PDF, 580 KB
english, 2009
4

Loop-separable programs and their first-order definability

Year:
2011
Language:
english
File:
PDF, 399 KB
english, 2011
9

Ordered completion for first-order logic programs on finite structures

Year:
2012
Language:
english
File:
PDF, 395 KB
english, 2012
44

Phase transformation and magnetic properties of annealed Fe52.2Co46V1.8 alloy

Year:
2004
Language:
english
File:
PDF, 292 KB
english, 2004